(0 17 15)(1 20 3)(2 7 4)(5 8 6)(9 19 12)(10 16 14)(11 18 13)
ALLOWS (11/8)-SEQUENCE
1: (9 10 12)
(0 17 15)(1 20 3)(2 7 4)(5 8 6)(9)(10 19 12 16 14)(11 18 13)
2: (12 16 19)
(0 17 15)(1 20 3)(2 7 4)(5 8 6)(9)(10 19 14)(11 18 13)(12)(16)
3: (11 18 13)
(0 17 15)(1 20 3)(2 7 4)(5 8 6)(9)(10 19 14)(11)(12)(13)(16)(18)
4: (0 17 15)
(0)(1 20 3)(2 7 4)(5 8 6)(9)(10 19 14)(11)(12)(13)(15)(16)(17)(18)